Видео ютуба по тегу Applied Category Theory

AlpaMayo category theory playground
AlpaMayo category theory playground
Design and Implementation of a Generalized Algebraic Theory for Dimensional Stock and Flow Models
Design and Implementation of a Generalized Algebraic Theory for Dimensional Stock and Flow Models
John Baez - The Tenfold Way
John Baez - The Tenfold Way
CMPT898-63:Temporal Sheaves of C-Sets 2:Change of base functors,slice categories to encode latencies
CMPT898-63:Temporal Sheaves of C-Sets 2:Change of base functors,slice categories to encode latencies
CMPT898-62:Temporal Sheaves of C-Sets:Reading Bumpus&al.Towards Unified Theory of Time-Varying Data
CMPT898-62:Temporal Sheaves of C-Sets:Reading Bumpus&al.Towards Unified Theory of Time-Varying Data
Category theory applied to the Klein 4 parameter group and the universal rewrite system
Category theory applied to the Klein 4 parameter group and the universal rewrite system
1.144 ACT4ED Special Lecture - Petar Veličković (Google DeepMind): Filter Equivariant Functions
1.144 ACT4ED Special Lecture - Petar Veličković (Google DeepMind): Filter Equivariant Functions
Kindergarten Quantum Mechanics, now for real!
Kindergarten Quantum Mechanics, now for real!
Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138
Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138
[Berkeley Seminar] Evan Patterson | How to Prove Equations Using Diagrams
[Berkeley Seminar] Evan Patterson | How to Prove Equations Using Diagrams
Category Theory For Beginners: Linear Algebra
Category Theory For Beginners: Linear Algebra
CMPT898-41: Bundles for applied category theory
CMPT898-41: Bundles for applied category theory
Abstractions for Real People
Abstractions for Real People
Diagrams in Applied Category Theory: Basics & Vignettes, Use with acset_colim in Catlab
Diagrams in Applied Category Theory: Basics & Vignettes, Use with acset_colim in Catlab
Brendan Fong:
Brendan Fong: "Abstractions for Real People"
Representable Functors: An Accessible Introduction & Understanding as C-Sets & Domain Objects
Representable Functors: An Accessible Introduction & Understanding as C-Sets & Domain Objects
CT2024, Seerp Roald Koudenburg: Formal Day convolution and low-dimensional monoidal fibrations
CT2024, Seerp Roald Koudenburg: Formal Day convolution and low-dimensional monoidal fibrations
Categorical Calculus and Algebra for Multi-Model Data
Categorical Calculus and Algebra for Multi-Model Data
Exploring Category Theory: An Essential Guide for Haskell Programmers
Exploring Category Theory: An Essential Guide for Haskell Programmers
Distributors - Unifying Parsers, Printers & Grammars
Distributors - Unifying Parsers, Printers & Grammars
Joe Moeller:
Joe Moeller: "A categorical approach to Lyapunov stability"
Category Theory and LLMs | Tech talk with Tai-Danae Bradley
Category Theory and LLMs | Tech talk with Tai-Danae Bradley
SPLV 2024 - Applied Category Theory 2 (Jules Hedges)
SPLV 2024 - Applied Category Theory 2 (Jules Hedges)
SPLV 2024 - Applied Category Theory 4 (Jules Hedges)
SPLV 2024 - Applied Category Theory 4 (Jules Hedges)
SPLV 2024 - Applied Category Theory 3 (Jules Hedges)
SPLV 2024 - Applied Category Theory 3 (Jules Hedges)